Subject: Property Based Testing
Date: from Feb 2014 until Jun 2014
Institution: Erasmus Mundus MSc in Dependable Software Systems